Nuprl Definition : cand
12,41
postcript
pdf
A
c
B
==
:
A
B
latex
Definitions
x
:
A
B
(
x
)
origin
B == :A 
B B == :A B B(x)